极小命题演算minimal: adj. 1.最小的,极微的,最低(限度)的。 2.最简 ...calculus: n. (pl. calculuses, -li ) 1. ...propositional calculus: 句子逻辑; 命题逻辑; 命题演算implicational propositional calculus: 蕴涵命题演算propositional: 建议的; 提议的; 主张的下载手机词典可随时随地查词查翻译